Symmetry Solved: Lightning-Fast Algorithms Unlock New Optimization Possibilities
dev.to·1d·
Discuss: DEV
🎨Graph Coloring
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·9h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.com·1d
🔍ML Language
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
The Machine Learning Roadmap
github.com·7h·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
🎭Program Synthesis
Flag this post
Global Optimization: Finding the Needle in a Haystack – Faster by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🔍Search Algorithms
Flag this post
🎓 Capstone Project Completed! 🚀
dev.to·1d·
Discuss: DEV
🌱Minimal ML
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Type Checking
Flag this post
Meditations on geometric packing
shvbsle.in·20h
🌊Effect Rows
Flag this post
Multidimensional Rubric-oriented Reward Model Learning via Geometric Projection Reference Constraints
arxiv.org·2d
🔍ML Language
Flag this post
How LLM Inference Works
arpitbhayani.me·1d
🚀Tokenizer Performance
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·12h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post